Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
151	Microsoft Word - process_evaluation_new_certificate_capacity_compensation_claims_executive_summary.docx Add to Reading List Source URL: www.iscrr.com.au Language: English - Date: 2014-09-11 02:07:59 Military science Ent FO Global Positioning System SO Technology Finite model theory Applied mathematics
152	M PRA Munich Personal RePEc Archive A misspecification test for finite-mixture logistic models for clustered binary and ordered responses Add to Reading List Source URL: mpra.ub.uni-muenchen.de Language: English - Date: 2015-05-08 12:10:18 Regression analysis Actuarial science Econometrics Expectation–maximization algorithm Maximum likelihood Fisher information Mixture model Generalized linear model Normal distribution Statistics Estimation theory Statistical models
153	C H AP T E R O N E D D TE E N H IZ IO IG R T Add to Reading List Source URL: images.abovethetreeline.com Language: English - Date: 2014-10-01 03:10:33 FO Finite model theory
154	The Expressivity of Quantifying over Regions Ernest Davis∗ Dept. of Computer Science New York University October 24, 2011 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-10-24 22:03:55 Finite model theory Vector space XTR Constructible universe Proofs involving the Moore–Penrose pseudoinverse Forcing Algebra Mathematics FO
155	O u r Pe r fo r m a n ce - t a k i n g a c t ion on c l i m ate c h a n g e O u r Pe r fo r m a n ce - t a k i n g a c t ion on c l i m ate c h a n g e City of Port Phillip bus drivers Add to Reading List Source URL: m.portphillip.vic.gov.au Language: English - Date: 2014-10-30 06:31:02 FO Finite model theory
156	Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz & Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-27 14:47:38 Model theory Finite model theory FO First-order logic Descriptive complexity theory Almost surely Second-order logic Structure Linear temporal logic Logic Mathematical logic Mathematics
157	Constraint databases: A tutorial introduction∗ Jan Van den Bussche Limburg University, Belgium 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:47 Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic
158	Motivation The collision-free string partition problems Complexity proofs Summary The complexity of string partitioning Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2012-12-29 15:22:02 Computational complexity theory Descriptive complexity SO Complexity FO Theoretical computer science Finite model theory Applied mathematics
159	VASS Games AVASS Substructural Logics Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-11-14 14:23:32 Finite model theory Game theory Parity game
160	Preliminaries Decision Problems Optimisation Problems Descriptive Complexity of Optimisation Problems Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:10 Mathematics Computational complexity theory Logic Model theory FO Structure P SO Descriptive complexity theory Applied mathematics Complexity classes Finite model theory

UPDATE